翻訳と辞書 Words near each other ・ cage ・ cai ・ cairo ・ cais ・ cais-a ・ caise ・ cajole ・ cal ・ calc ・ calculator ・ calculus of communicating systems ・ calendar api ・ calendar application programming interface ・ caliban ・ calico ・ california state university san marcos ・ call unix ・ call-by-name ・ call-by-need ・ call-by-reference Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク calculus of communicating systems ： FOLDOC Calculus of Communicating Systems (CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in {behaviour expressions syntax} denotes a process behaviour. Programs can be compared using the notion of observational equivalence. ["A Calculus of Communicating Systems", LNCS 92, Springer 1980]. ["Communication and Concurrency", R. Milner, P-H 1989]. (1994-11-29) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.